file definition - German English Dictionary